Step of Proof: integer sqrt
11,40
postcript
pdf
Inference at
*
1
0
1
2
2
I
of proof for Lemma
integer sqrt
:
.....wf..... NILNIL
(0
0 )
latex
by
InteriorProof
((MemEqCD)
CollapseTHEN (MemEqCD))
latex
C
.
Definitions
i
j
,
x
:
A
B
(
x
)
,
s
=
t
,
#$n
,
x
:
A
.
B
(
x
)
,
t
T
Lemmas
ge
wf
origin